SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionFebruary 2016) Contents

Source URL: types.cs.washington.edu

• Smartphones
• Java
• Archive formats
• Alphabet Inc.
• Android
• App store
• Type system
• Apache Ant
• Java annotation
• JAR

SUBGROUPGRAPH: a computer program for analysis of group-subgroup relations between space groups

Source URL: www.cryst.ehu.es

Further dissemination only as directed by the Office of the Under Secretary of Defense for Acquisition/Acquisition Policy and Program Integration. Document not releasable to DTIC for secondary distribution because of con

Source URL: pogoarchives.org

• Defense Technical Information Center
• Office of the Secretary of Defense
• Government procurement in the United States
• United States Secretary of Defense
• Defense Science Board
• Military acquisition
• Institute for Defense Analyses
• Under Secretary of Defense for Acquisition
• Technology and Logistics
• Classified information
• Washington Headquarters Services
• Data & Analysis Center for Software

The development of analysis and visualisation tools for database orientated palaeoenvironmental and climatic studies Workshop Program Preliminary scheduleth

Source URL: sead.se

Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013

Source URL: homes.cs.washington.edu

• Logic in computer science
• Program analysis
• Substructural logic
• Concurrent computing
• Aliasing
• Compiler construction
• Separation logic
• Alias
• Thread
• Assertion
• OCaml
• Type system

Data Analysis for the Social Sciences Quantitative Methods in the Social Sciences Program G4015, Fall 2012 Thursday, 9:00am-12:00pm 252 Engineering Terrace Instructor: Nick Beauchamp

Source URL: nickbeauchamp.com

Enforcing Textual Alignment of Collectives Using Dynamic Checks ? Amir Kamil Katherine Yelick

Source URL: titanium.cs.berkeley.edu

• Computing
• Software engineering
• Computer programming
• Parallel computing
• C++
• Concurrent computing
• Compiler construction
• Thread
• OpenMP
• Synchronization
• Optimizing compiler
• Program analysis

MCF11008_RELPolicy_FA.indd

Source URL: www.mastercardfdn.org

• Evaluation
• Evaluation methods
• Impact assessment
• Methodology
• Analysis
• American Evaluation Association
• Public administration
• Systems analysis
• Program evaluation
• Advocacy evaluation

Strategic Business Plan [Page intentionally left blank] ii

Source URL: www.metroplanorlando.com

• Transportation planning
• Metroplan Orlando
• Metropolitan planning organization
• Transportation improvement program
• SWOT analysis
• Business plan
• Swot